Ordinal arithmetic - PDFSEARCH.IO - Document Search Engine

Ordinal arithmetic
Results: 131

#	Item
121	Infinite sets that satisfy the principle of omniscience in all varieties of constructive mathematics (Draft for a talk at Types’2011, version of July 15, 2011, with minor updates September 28, 2011) Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-10-07 04:22:12 Set theory Constructible universe Function Well-founded relation Transfinite induction Ordinal arithmetic Continuous function Ε₀ Surreal number Mathematics Mathematical logic Ordinal numbers
122	PDF Document Add to Reading List Source URL: www.users.muohio.edu Language: English - Date: 2005-09-29 23:22:04 Mathematics Connection Differential geometry Philosophy of mathematics Symbol Ordinal arithmetic Forcing Ordinal number Constructible universe
123	PDF Document Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-06-16 12:18:14 Constructible universe Proof theory Ordinal arithmetic Normal function Mathematical logic Ordinal numbers Set theory
124	PDF Document Add to Reading List Source URL: www.karlin.mff.cuni.cz Language: English - Date: 2011-06-16 12:18:14 Constructible universe Proof theory Ordinal arithmetic Normal function Mathematical logic Ordinal numbers Set theory
125	PDF Document Add to Reading List Source URL: www.peter-dixon.staff.shef.ac.uk Language: English - Date: 2006-05-18 13:01:02 Set theory Constructible universe Ordinal arithmetic Transfinite induction Zermelo–Fraenkel set theory Cardinal number Function Peano axioms Symbol Mathematical logic Mathematics Ordinal numbers
126	PDF Document Add to Reading List Source URL: faculty.atu.edu Language: English - Date: 2004-08-26 16:53:51 Mathematical analysis Constructible universe Function Ordinal number Surjective function Codomain Injective function Ordinal arithmetic Curry–Howard correspondence Mathematics Mathematical logic Functions and mappings
127	PDF Document Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2005-09-25 15:04:44 Logic Constructible universe Bachmann–Howard ordinal Transfinite induction Large countable ordinal Ordinal arithmetic Ordinal notation Ordinal numbers Mathematical logic Mathematics
128	PDF Document Add to Reading List Source URL: folk.uio.no Language: English - Date: 2005-01-31 06:15:42 Ordinal notation Veblen function Small Veblen ordinal Constructible universe Limit ordinal Bachmann–Howard ordinal Successor ordinal Ordinal arithmetic Large countable ordinal Ordinal numbers Mathematical logic Mathematics
129	PDF Document Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-03-26 13:32:54 Triangle geometry Triangle Special right triangles Law of cosines Orbifold Ordinal arithmetic Geometry Mathematics Triangles
130	PDF Document Add to Reading List Source URL: forumgeom.fau.edu Language: English - Date: 2012-03-01 09:38:02 Triangle Incircle and excircles of a triangle Ordinal arithmetic Law of sines Geometry Triangle geometry Triangles

UPDATE